M.A == {a:Knd| a  dom(1of(2of(M))) } 

latex

---

clarification:

M.A == {a:Knd| fpf-dom(KindDeq; a; 1of(2of(M))) } 

latex

Definitions	M.A, Knd, b, x  dom(f), KindDeq, 1of(t), 2of(t)
FDL editor aliases	ma-A